Koha online catalog › Results of search for 'su:"Machine Theory"'

	1.	UbiComp 2004 : ubiquitous computing : 6th International Conference, Nottingham, UK, September 7-10, 2004, proceedings by Davies, Nigel \| Mynatt, Elizabeth \| Siio, Itiro. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 DAV] (1). Place hold
	2.	Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings by Wang, Farn. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1). Place hold
	3.	Formal and natural computing : essays dedicated to Grzegorz Rozenberg by Brauer, Wilfri. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1). Place hold

Koha online